[INFO] fetching crate chalk-solve 0.25.0...
[INFO] checking chalk-solve-0.25.0 against master#af3c6e733a40e671550e0f0f5aeecaa13772ba56 for pr-74989
[INFO] extracting crate chalk-solve 0.25.0 into /workspace/builds/worker-0/source
[INFO] validating manifest of crates.io crate chalk-solve 0.25.0 on toolchain af3c6e733a40e671550e0f0f5aeecaa13772ba56
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+af3c6e733a40e671550e0f0f5aeecaa13772ba56" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking crates.io crate chalk-solve 0.25.0
[INFO] finished tweaking crates.io crate chalk-solve 0.25.0
[INFO] tweaked toml for crates.io crate chalk-solve 0.25.0 written to /workspace/builds/worker-0/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+af3c6e733a40e671550e0f0f5aeecaa13772ba56" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+af3c6e733a40e671550e0f0f5aeecaa13772ba56" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+af3c6e733a40e671550e0f0f5aeecaa13772ba56" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 110afc88d37400211d0e52679b3ac1a318e58b413c327fc53b0a4ec8fae3ad64
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "110afc88d37400211d0e52679b3ac1a318e58b413c327fc53b0a4ec8fae3ad64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "110afc88d37400211d0e52679b3ac1a318e58b413c327fc53b0a4ec8fae3ad64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "110afc88d37400211d0e52679b3ac1a318e58b413c327fc53b0a4ec8fae3ad64", kill_on_drop: false }`
[INFO] [stdout] 110afc88d37400211d0e52679b3ac1a318e58b413c327fc53b0a4ec8fae3ad64
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+af3c6e733a40e671550e0f0f5aeecaa13772ba56" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2df1f934ed71b7c5b3f973f2680f6316842bbeaa267c357ee653d6dcbb0896f7
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "2df1f934ed71b7c5b3f973f2680f6316842bbeaa267c357ee653d6dcbb0896f7", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling proc-macro2 v1.0.21
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling libc v0.2.77
[INFO] [stderr]    Compiling serde v1.0.116
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]     Checking regex-syntax v0.6.18
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling serde_json v1.0.57
[INFO] [stderr]     Checking itoa v0.4.6
[INFO] [stderr]     Checking hashbrown v0.9.0
[INFO] [stderr]     Checking ansi_term v0.12.1
[INFO] [stderr]     Checking smallvec v1.4.2
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking termcolor v1.1.0
[INFO] [stderr]     Checking either v1.6.0
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]     Checking tracing-core v0.1.16
[INFO] [stderr]     Checking thread_local v1.0.1
[INFO] [stderr]     Checking sharded-slab v0.0.9
[INFO] [stderr]     Checking log v0.4.11
[INFO] [stderr]     Checking itertools v0.9.0
[INFO] [stderr]    Compiling num-traits v0.2.12
[INFO] [stderr]    Compiling num-integer v0.1.43
[INFO] [stderr]    Compiling indexmap v1.6.0
[INFO] [stderr]     Checking ena v0.14.0
[INFO] [stderr]     Checking tracing-log v0.1.1
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]    Compiling syn v1.0.40
[INFO] [stderr]     Checking time v0.1.44
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking chrono v0.4.15
[INFO] [stderr]     Checking regex-automata v0.1.9
[INFO] [stderr]     Checking regex v1.3.9
[INFO] [stderr]     Checking matchers v0.0.1
[INFO] [stderr]     Checking tracing-serde v0.1.2
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]     Checking tracing-subscriber v0.2.12
[INFO] [stderr]    Compiling tracing-attributes v0.1.11
[INFO] [stderr]    Compiling chalk-derive v0.25.0
[INFO] [stderr]     Checking chalk-ir v0.25.0
[INFO] [stderr]     Checking tracing v0.1.19
[INFO] [stderr]     Checking tracing-tree v0.1.5
[INFO] [stderr]     Checking chalk-solve v0.25.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `chalk_integration`
[INFO] [stdout]  --> src/infer/test.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use chalk_integration::interner::ChalkIr;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:76:9
[INFO] [stdout]    |
[INFO] [stdout] 76 |     use chalk_integration::{arg, ty, ty_name};
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:99:13
[INFO] [stdout]    |
[INFO] [stdout] 99 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `chalk_integration`
[INFO] [stdout]  --> src/infer/test.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use chalk_integration::{arg, lifetime, ty, ty_name};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:16:46
[INFO] [stdout]    |
[INFO] [stdout] 16 |         .unify(interner, &environment0, &a, &ty!(placeholder 1))
[INFO] [stdout]    |                                              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:28:46
[INFO] [stdout]    |
[INFO] [stdout] 28 |         .unify(interner, &environment0, &a, &ty!(apply (item 0) (expr a)))
[INFO] [stdout]    |                                              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:33:46
[INFO] [stdout]    |
[INFO] [stdout] 33 |         .unify(interner, &environment0, &a, &ty!(function 1 (infer 0)))
[INFO] [stdout]    |                                              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:46:46
[INFO] [stdout]    |
[INFO] [stdout] 46 |         .unify(interner, &environment0, &a, &ty!(apply (item 0) (expr b)))
[INFO] [stdout]    |                                              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:60:46
[INFO] [stdout]    |
[INFO] [stdout] 60 |         .unify(interner, &environment0, &b, &ty!(placeholder 1))
[INFO] [stdout]    |                                              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:75:46
[INFO] [stdout]    |
[INFO] [stdout] 75 |         .unify(interner, &environment0, &b, &ty!(placeholder 1))
[INFO] [stdout]    |                                              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:88:46
[INFO] [stdout]    |
[INFO] [stdout] 88 |         .unify(interner, &environment0, &a, &ty!(apply (item 0) (expr b)))
[INFO] [stdout]    |                                              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:95:14
[INFO] [stdout]    |
[INFO] [stdout] 95 |             &ty!(apply (item 0) (apply (item 1))),
[INFO] [stdout]    |              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:109:46
[INFO] [stdout]     |
[INFO] [stdout] 109 |         .unify(interner, &environment0, &a, &ty!(apply (item 0) (expr b)))
[INFO] [stdout]     |                                              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:112:46
[INFO] [stdout]     |
[INFO] [stdout] 112 |         .unify(interner, &environment0, &b, &ty!(placeholder 1))
[INFO] [stdout]     |                                              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:132:14
[INFO] [stdout]     |
[INFO] [stdout] 132 |             &ty!(apply (item 0) (projection (item 1) (expr a))),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:158:38
[INFO] [stdout]     |
[INFO] [stdout] 158 |             .canonicalize(interner, &ty!(apply (item 0) (infer 2) (infer 1) (infer 0)))
[INFO] [stdout]     |                                      ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:161:20
[INFO] [stdout]     |
[INFO] [stdout] 161 |             value: ty!(apply (item 0) (bound 0) (bound 1) (bound 2)),
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:190:14
[INFO] [stdout]     |
[INFO] [stdout] 190 |             &ty!(apply (item 1) (expr v1) (expr v0)),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:198:18
[INFO] [stdout]     |
[INFO] [stdout] 198 |                 &ty!(apply (item 0) (expr v2b) (expr v2a) (expr v1) (expr v0))
[INFO] [stdout]     |                  ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:202:20
[INFO] [stdout]     |
[INFO] [stdout] 202 |             value: ty!(apply (item 0) (apply (item 1) (bound 0) (bound 1)) (bound 2) (bound 0) (bound 1)),
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:242:18
[INFO] [stdout]     |
[INFO] [stdout] 242 |                 &ty!(function 3 (apply (item 0) (bound 1) (infer 0) (infer 1) (lifetime (infer 2))))
[INFO] [stdout]     |                  ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:246:20
[INFO] [stdout]     |
[INFO] [stdout] 246 |             value: ty!(function 3 (apply (item 0) (bound 1) (bound 1 0) (bound 1 0) (lifetime (bound 1 1)))),
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:271:15
[INFO] [stdout]     |
[INFO] [stdout] 271 |     let t_a = ty!(apply (item 0) (lifetime (placeholder 1)));
[INFO] [stdout]     |               ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:272:15
[INFO] [stdout]     |
[INFO] [stdout] 272 |     let t_b = ty!(apply (item 0) (lifetime (infer 1)));
[INFO] [stdout]     |               ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:281:15
[INFO] [stdout]     |
[INFO] [stdout] 281 |     let t_c = ty!(infer 0);
[INFO] [stdout]     |               ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/solve/truncate.rs:86:19
[INFO] [stdout]    |
[INFO] [stdout] 86 |         let ty0 = ty!(apply (item 0)
[INFO] [stdout]    |                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/solve/truncate.rs:105:19
[INFO] [stdout]     |
[INFO] [stdout] 105 |         let ty0 = ty!(apply (item 0)
[INFO] [stdout]     |                   ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/solve/truncate.rs:111:19
[INFO] [stdout]     |
[INFO] [stdout] 111 |         let ty1 = ty!(apply (item 0)
[INFO] [stdout]     |                   ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:82:42
[INFO] [stdout]    |
[INFO] [stdout] 82 |         let mut table = InferenceTable::<chalk_integration::interner::ChalkIr>::new();
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `chalk_integration`
[INFO] [stdout]    --> src/solve/truncate.rs:101:42
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut table = InferenceTable::<chalk_integration::interner::ChalkIr>::new();
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:11:21
[INFO] [stdout]    |
[INFO] [stdout] 11 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:12:35
[INFO] [stdout]    |
[INFO] [stdout] 9  | fn universe_error() {
[INFO] [stdout]    |                  - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 12 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:23:21
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:24:35
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn cycle_error() {
[INFO] [stdout]    |               - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 24 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:40:21
[INFO] [stdout]    |
[INFO] [stdout] 40 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:41:35
[INFO] [stdout]    |
[INFO] [stdout] 38 | fn cycle_indirect() {
[INFO] [stdout]    |                  - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 41 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:54:21
[INFO] [stdout]    |
[INFO] [stdout] 54 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:55:35
[INFO] [stdout]    |
[INFO] [stdout] 52 | fn universe_error_indirect_1() {
[INFO] [stdout]    |                             - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 55 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:68:21
[INFO] [stdout]    |
[INFO] [stdout] 68 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:69:35
[INFO] [stdout]    |
[INFO] [stdout] 66 | fn universe_error_indirect_2() {
[INFO] [stdout]    |                             - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 69 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:82:21
[INFO] [stdout]    |
[INFO] [stdout] 82 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:83:35
[INFO] [stdout]    |
[INFO] [stdout] 80 | fn universe_promote() {
[INFO] [stdout]    |                    - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 83 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:103:21
[INFO] [stdout]     |
[INFO] [stdout] 103 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:104:35
[INFO] [stdout]     |
[INFO] [stdout] 101 | fn universe_promote_bad() {
[INFO] [stdout]     |                        - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 104 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:121:21
[INFO] [stdout]     |
[INFO] [stdout] 121 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:122:35
[INFO] [stdout]     |
[INFO] [stdout] 117 | fn projection_eq() {
[INFO] [stdout]     |                 - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 122 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:141:35
[INFO] [stdout]     |
[INFO] [stdout] 141 | fn make_table() -> InferenceTable<ChalkIr> {
[INFO] [stdout]     |              -                    ^^^^^^^ not found in this scope
[INFO] [stdout]     |              |
[INFO] [stdout]     |              help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:142:35
[INFO] [stdout]     |
[INFO] [stdout] 141 | fn make_table() -> InferenceTable<ChalkIr> {
[INFO] [stdout]     |              - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 142 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:150:21
[INFO] [stdout]     |
[INFO] [stdout] 150 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:176:21
[INFO] [stdout]     |
[INFO] [stdout] 176 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:217:21
[INFO] [stdout]     |
[INFO] [stdout] 217 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:260:21
[INFO] [stdout]     |
[INFO] [stdout] 260 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:261:35
[INFO] [stdout]     |
[INFO] [stdout] 259 | fn lifetime_constraint_indirect() {
[INFO] [stdout]     |                                - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 260 |     let interner = &ChalkIr;
[INFO] [stdout] 261 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/solve/truncate.rs:81:25
[INFO] [stdout]    |
[INFO] [stdout] 81 |         let interner = &ChalkIr;
[INFO] [stdout]    |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/solve/truncate.rs:100:25
[INFO] [stdout]     |
[INFO] [stdout] 100 |         let interner = &ChalkIr;
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 56 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `chalk-solve`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: build failed
[INFO] running `Command { std: "docker" "inspect" "2df1f934ed71b7c5b3f973f2680f6316842bbeaa267c357ee653d6dcbb0896f7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2df1f934ed71b7c5b3f973f2680f6316842bbeaa267c357ee653d6dcbb0896f7", kill_on_drop: false }`
[INFO] [stdout] 2df1f934ed71b7c5b3f973f2680f6316842bbeaa267c357ee653d6dcbb0896f7
